Input

GMF

Transition

Place

Proposition

Output

Y₁

m₁

t₁ = m₁

p₁ = max{(t₁ ´b₁), (t₂ ´ b₂), (t₃ ´ b₃), (t₄ ´ b₄)}

b₁ = b₂ = b₃ = b₄ = 1.0

d₁ = q₁(p₁)

Goal Proposition: C_m = max{d₁´ W, d₂ ´ W, d₃ ´ W}

Final Output:

C = l_m ´ max{C₁, C₂, C₃}

Y₂

m₂

t₂ = m₂

Y₃

m₃

t₃ = m₃

Y₄

m₄

t₄ = m₄

Y₄

m₄

t₄ = m₄

p₂ = max{(t₄ ´b₄), (t₅ ´ b₅), (t₆´ b₆)}

b₄ = b₆ = 0.4,b₅ = 0.8

d₂ = q₂(p₂)

Y₅

m₅

t₅ = m₅

Y₆

m₆

t₆ = m₆

Y₅

m₅

t₅ = m₅

p₃ = max{(t₅ ´b₅), (t₆ ´ b₆), (t₇´ b₇)}

b₅ = 0.4,b₆ = b₇ = 1.0

d₃ = q₃(p₃)

Y₆

m₆

t₆ = m₆

Y₇

m₇

t₇ = m₇